Haskell Day 2021

https://www.youtube.com/watch?v=haZl-q6mfyk

2021/11/7 (日)

Haskell Day 2021 #HaskellDay

Haskellのこういう感じのイベントに参加するの初めてなので楽しみmrsekut.icon*3

Haskell-jpのSlackで眺めていると皆さん数ヶ月前から準備されているようで凄いmrsekut.icon

感想

めちゃくちゃ良かった

登壇者が事前に録画したものを流す形式

2人ほど英語で発表される方がおり、その動画も@igrepさんが事前に字幕を付けてくださったおかげで見れた

それでも内容が難しかったけどmrsekut.icon

内容も濃かったし、リアルタイムでのTwitter上のやり取りもあって、コミュニティだなぁと感じた

運営の方々や、登壇者の方々に感謝しかないmrsekut.icon

Record問題と線形型に関しては、事前のHaskell-jpもくもく会とかで予習してたので割とついていけた

Haskell Day の紹介

Introduction to Z.Haskell

韩冬

Z.Haskell

https://dev.mysql.com/doc/refman/5.6/ja/binary-log.html

https://dl.acm.org/doi/10.1145/3242744.3242759#.YYdVnC1sDFE.twitter

GHC の動向 2021

@mod_poppo

スライド

NCG

Simplified Subsumption

Quick Look

ghc-bignum

https://zenn.dev/mod_poppo/articles/ghc-9-2-and-future

Haskell は別言語になりました――RecordDotSyntax と NoFieldSelectors

GraphQL と Haskell

HaskellでGraphQLするLibrary

Morpheus-graphql

主にこちらについて

Mu-haskell

エレガントにN+1問題を解決する

Haxl

take k (sort xs) in Haskell has O(n + k log k) time complexity

@pi8027

坂口和彦

Kazuhiko Sakaguchi

http://logic.cs.tsukuba.ac.jp/~sakaguchi/

https://github.com/pi8027/stablesort

線形型の刹那的不変データ構造への利用

スライド

@kakkun61

岡本和樹

LinearTypesなどについて

$ a \multimap bと書くらしい

線形型のスタイル

1 線形型関数を導入（仮引数を1回だけ使う）

2 カインドを拡張（1回/ n回使える型のカインド）

こっち知らんかったmrsekut.icon

multiplicityの部分を型変数にできる

刹那的データ構造

slack-log の紹介

@igrep

https://the.igreque.info/slides/2021-11-07-haskell-day-2021-slack-log.html#(1)

https://haskell.jp/slack-log/

https://github.com/haskell-jp/slack-log/

このReaderモナドの説明、めちゃくちゃわかりやすいなmrsekut.icon

ReaderTパターン

RIOを使うと↑が使いやすくなるらしい

GHC による Haskell プログラムの動かし方

@Mizunashi_Mana

GHCのcompile workflow

図解が良すぎる

STGを勉強する時に良い資料になりそう

クロージング